假设在程序控制流图中，有12条边，8个节点，则确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上限是( )。